ids = \
{'bad': [87922, 7060009, 7267547, 7267809, 8062750, 10055187, 10509469, 10530468, 11750964, 11756997, 11914828, 12227040, 12523054, 13463133,
         13660213, 14272280, 14272850, 14275079, 14948164, 20525968, 20629438, 20629608, 22840818, 23282700, 24328279, 27182665, 27640833, 28506867,
         28506952, 28520865, 28520898, 28520985, 28977208, 29481113, 29596265, 30672651, 31214807, 31214949, 31214999, 31807153, 36271161, 36653046,
         38069689, 38069851, 38070156, 38455163, 38455235, 38455470, 38455512, 38455576, 38455600, 39061269, 39671070, 39672035, 39672352, 39672810,
         39944676, 39944791, 44076221, 44076355, 44745798, 44745879, 45718227, 46033144, 46033434, 46035574, 47562565, 47831095, 47831298, 47832319,
         49035656, 49035876, 49517482, 49803780, 49819228, 51041574, 51053804, 51056413, 51375526, 51375756, 51375868, 52348144, 54512902, 54512985,
         54949396, 55167603, 55321837, 55338724, 55405680, 55514113, 56934860, 58150017, 59731219, 62240704, 62810078, 64442722, 64794424, 64794762,
         65784924, 67162250, 67247217, 68383652, 68987830, 72350059, 75896729, 75897438, 76766612, 76862662, 76958471, 77707456, 78309640, 78310050,
         78918668, 79254503, 79254835, 79254995, 79289996, 79832301, 79931016, 79994212, 82243683, 82544343, 83205274, 83205493, 83311704, 83324297,
         83673966, 83831474, 85164737, 85164824, 86089951, 86288578, 86707374, 86707827, 86842879, 86843565, 86843885, 86946526, 87551908, 87551977,
         87552036, 87552090, 87552118, 87552149, 87552207, 88086348, 89053520, 89110083, 90325273, 90690356, 90945062, 91285305, 91384434, 91385250,
         91868312, 91868465, 92567999, 92568316, 92568386, 92568564, 92568754, 92568932, 92569075, 92569113, 92569223, 92569314, 92570772, 92587807,
         92834258, 93665263, 93665931, 93669958, 93915996, 94201176, 94347221, 94558261, 95165921, 95210934, 95517928, 95518138, 95636064, 97200560,
         98050628, 98105980, 98646749, 98682247, 99591813, 99859627, 99970462, 100785619, 101201526, 101321218, 101348928, 101853266, 102243380,
         102719125, 102996745, 103267404, 103282592, 103323528, 104235133, 104387488, 105041823, 105856193, 105871668, 106058871, 106355747,
         106418089, 106418416, 106649090, 106649342, 106727247, 107051691, 107051889, 107218177, 107249251, 107577529, 107577674, 107638489,
         107710638, 107860593, 107861163, 107861731, 107862382, 107862497, 107862566, 109109029, 109552394, 109618987, 109832678, 109833068,
         109853830, 109930346, 109988309, 110080323, 110181934, 110182595, 112524566, 112859009, 112892717, 112935506, 113017281, 113189448,
         113230502, 113251487, 113251777, 113771480, 113786749, 113826454, 114132248, 114306148, 114312924, 114425731, 114425896, 114511327,
         114664364, 114664428, 114664636, 114795724, 114935031, 115033884, 115034786, 115038927, 115214720, 115215365, 115410337, 115410613,
         115411086, 115411405, 115507549, 115507908, 116032466, 116135723, 116136193, 116136453, 116277685, 116663798, 116801738, 116883636,
         116885517, 116888512, 116888606, 116888880, 116985222, 116985322, 117027240, 117027347, 117027419, 117027647, 117027813, 117032999,
         118258478, 118288143, 118288487, 118288543, 118288769, 118288887, 118289103, 118289243, 118290018, 118707851, 119753179, 119772112,
         119772396, 119929391, 119929427, 119929455, 119929490, 119929510, 120771702, 121478415, 121683272, 121684297, 121684773, 121704889,
         121834369, 121834706, 121964753, 121965066, 121966147, 121966189, 121966705, 121966895, 121967113, 121996038, 121996181, 122096714,
         122097055, 122129202, 122284144, 122523903, 122550484, 122551179, 122561457, 122562507, 122562811, 122562840, 122563241, 122563720,
         122563853, 122563987, 122564061, 122564207, 122564532, 123140511, 123251098, 123384110, 123553703, 123556283, 123612503, 123650508,
         123650873, 123775922, 123776048, 123776297, 123778081, 123921037, 124131162, 124336714, 124337270, 124337915, 124432403, 125892883,
         125905704, 125979508, 126017031, 127140703, 127156969, 127445608, 128468887, 128469099, 128470331, 128470600, 128507385, 128535279,
         128948163, 128950129, 128950337, 129040646, 129041864, 129142136, 129142433, 129238098, 129240341, 129241369, 129242118, 129303353,
         129348848, 129349423, 129388041, 129522361, 129522750, 129974097, 130849191, 130849633, 130880793, 130904481, 131132525, 131133398,
         131286557, 131440375, 131528523, 131600856, 131602556, 131991721, 132943392, 133460515, 133461036, 133461413, 133461705, 134689051,
         135842229, 135843113, 137281266, 137538009, 137678955, 137680196, 138540076, 138540593, 139944184, 140824265, 140824454, 140860504,
         140861213, 140861835, 141301959, 143667304, 143667597, 148926931, 149503928, 149554540, 149717152, 149928487, 149935872, 150060836,
         150716967, 151100438, 151228398, 151712066, 153909598, 154255054, 154414502, 154434265, 156123256, 156381986, 156930041, 156935123,
         156935297, 156935396, 156935505, 157210873, 157375741, 157461068, 157461221, 157661881, 158676641, 158676996, 158707189, 158760626,
         158802184, 158968694, 159283483, 159427450, 159623701, 159807151, 159807649, 159807811, 159808049, 159808435, 159897677, 160009872,
         160010002, 160010205, 160023355, 160023697, 160023814, 160024032, 160064245, 160064468, 160065000, 160936592, 161365221, 161579285,
         161579386, 161579513, 161579564, 161579620, 161685745, 161804599, 162037520, 162037797, 162038573, 162039290, 164130145, 164267766,
         164359078, 164813242, 164897770, 165312613, 165312830, 165345929, 165346196, 165346474, 165346808, 165347290, 165347423, 165347624,
         165428265, 165429069, 165429184, 165459892, 165460055, 165460205, 165471524, 165769359, 166652956, 166755268, 166755662, 166809848,
         166854224, 166854395, 166863739, 167335701, 167340489, 167374720, 167461452, 167750423, 167750591, 167798842, 167798931, 167825782,
         167939329, 167939770, 167940271, 167962476, 167963040, 167963574, 168027631, 168028073, 168068687, 168069023, 168069064, 168069259,
         168069724, 168069966, 168070283, 168134039, 168180633, 168478683, 168511526, 168511843, 169236238, 169236631, 169237520, 170377900,
         170832271, 170920642, 171222745, 171272519, 171559353, 171904838, 172345080, 172345164, 172774748, 172774972, 172775021, 172788337,
         173895340, 173922676, 173923089, 173948690, 173992384, 174260554, 174260961, 174399382, 174445982, 174646564, 174978269, 174978839,
         175523243, 175610501, 175917545, 175918285, 175918379, 177022041, 177029204, 177029359, 177031396, 177230986, 177325185, 177327041,
         177327337, 177801527, 177996070, 177996482, 177996600, 177996911, 178187935, 178345819, 179378855, 179623111, 181349790, 181881437,
         181897285, 181992975, 182013501, 182146873, 182146965, 182744597, 182744825, 182744984, 182847782, 183075373, 183226567, 183227029,
         183539010, 184267686, 184268214, 184485709, 184486477, 184773283, 184773565, 184774006, 184774385, 184776072, 184776268, 184776382,
         184776660, 184777007, 184910734, 184931872, 185114610, 185114766, 185235285, 185237498, 185713970, 185716388, 185724682, 186275899,
         186276943, 186835194, 186835787, 187353900, 187496483, 187548553, 187733834, 187733970, 187735023, 187735511, 187736306, 188146627,
         188416589, 188416960, 189357207, 189779954, 189798747, 189832080, 189842150, 189955356, 190026314, 190105817, 190483021, 190556552,
         190646771, 190745507, 190745650, 190784766, 190808956, 191425653, 191987216, 192180978, 192181134, 192245861, 192246080, 192329750,
         192330137, 192401917, 192402015, 193014753, 193356585, 193357940, 193358326, 193359514, 193509073, 193509338, 193673925, 193714994,
         193765791, 194405377, 194405483, 194516071, 194705597, 194706057, 195467020, 195677485, 195883332, 196046287, 196046408, 196245272,
         196802201, 197038151, 197108131, 197569859, 197571428, 197716310, 197716988, 198268484, 198498888, 198575158, 198610334, 198819178,
         198865061, 199362029, 199607392, 201130249, 201475825, 201608105, 201721137, 202316199, 202317356, 202317688, 202359710, 202359863,
         202360294, 202543065, 202570386, 202570873, 202697467, 203031140, 204546706, 204571210, 204688365, 204714222, 204714488, 205365975,
         205804405, 205857516, 205917561, 206144395, 206953087, 207334103, 207469336, 207669586, 208148021, 208148458, 208149168, 208876701,
         209001322, 209082391, 209082634, 209083273, 209083577, 209135105, 209140010, 209140230, 209265560, 209316436, 209316590, 209317413,
         209527302, 210356576, 210358159, 210421262, 210421511, 210421802, 210422402, 210429270, 210586418, 210610433, 211124923, 211316783,
         211888772, 211942663, 211957802, 212385843, 212386240, 212677356, 212677625, 212843995, 212922912, 213513674, 213800787, 214182244,
         214260357, 214303765, 214304017, 214412394, 214412835, 214413094, 214413780, 214413866, 214554207, 215093274, 215680851, 215682984,
         216959571, 217064884, 217064898, 217065066, 217065176, 217065207, 217065232, 217065253, 217065392, 217065442, 217065566, 217065675,
         217065709, 217065727, 217065801, 218010077, 218172302, 218856861, 221606273, 222013763, 222014276, 222014333, 222014529, 222553733,
         223584703, 223585694, 223585757, 223586077, 223586213, 223586298, 223592626, 223593318, 223595920, 223596841, 223597013, 223597268,
         224678731, 225067597, 225068115, 225068906, 225071441, 225071756, 225072368, 225600762, 226410583, 226410816, 228009526, 228009602,
         229193702, 230577372, 230577754, 230578147, 230578190, 230578790, 230578849, 231501363, 234315239, 234921963, 234922220, 236155111,
         236157088, 236179460, 236351244, 237003041, 237003152, 237336308, 237528290, 237561495, 237763193, 237763360, 237763544, 237763675,
         237763828, 237764236, 237986734, 238179556, 238669694, 238758228, 238778858, 239019452, 239091055, 239714553, 240391865, 240957103,
         241618115, 241730425, 242036069, 242500189, 242511994, 242518088, 242622575, 242622758, 242623389, 242724675, 242724911, 242765204,
         242849296, 243000440, 243003940, 243029839, 243030024, 243030215, 243057263, 243060018, 243075097, 243075233, 243076674, 243077251,
         243447277, 243448140, 243493556, 243907327, 243907641, 243907897, 243907983, 244220993, 244221596, 244380957, 244381434, 244381569,
         244388840, 244388994, 244389473, 244402094, 246437378, 246552145, 246874313, 246874771, 246931461, 246932174, 246932260, 246933173,
         246940685, 246995987, 246996201, 246996512, 246996620, 246998783, 247076082, 247815364, 248049591, 248459636, 248459757, 248726184,
         249097461, 249503510, 250679082, 250903119, 251393717, 252372393, 252372589, 253005795, 253007591, 253039306, 253112705, 253216484,
         253218206, 253676545, 253820625, 253823632, 253932338, 254020594, 254423053, 256086400, 256086546, 256096858, 256277680, 256278170,
         256278883, 256280257, 256280625, 256281310, 256514442, 256645221, 256645294, 256754428, 256754546, 256755259, 256791173, 256833098,
         256854930, 256905108, 260760569, 261604389, 261605206, 261962044, 263055786, 263056663, 264327899, 265887438, 265887555, 265887659,
         267120696, 267120852, 267499936, 267775903, 268259282, 268396616, 268571925, 269596237, 269610408, 269893307, 270162223, 270171807,
         270171897, 270172152, 270201010, 270293299, 270736068, 271378472, 271687450, 271687715, 271693089, 271721752, 271722077, 271722321,
         271722823, 271723286, 272551283, 272746484, 272880037, 272970860, 273395449, 273395511, 273782832, 273870679, 274155494, 274722174,
         274812024, 274828925, 275260232, 275719086, 275719278, 275727347, 275909082, 275909796, 275909886, 276239094, 276287678, 276391434,
         276547239, 276766151, 276766322, 276818274, 277298556, 277649951, 277756014, 277926296, 278186388, 278230776, 278533734, 279451466,
         279566614, 280889929, 281152738, 281152979, 281153155, 281153294, 281485669, 282166831, 282166976, 282168306, 282168942, 282356168,
         282356357, 282356560, 282356698, 282803265, 284527366, 285088581, 285260133, 285260586, 285262617, 285262727, 285264230, 285264471,
         285293524, 285306288, 285480122, 285480378, 285480589, 285480948, 285481571, 285481789, 285484190, 285484284, 285484560, 285487352,
         285487674, 285488474, 285488739, 285488987, 289717811, 289718123, 289718307, 289950933, 290120494, 290683840, 290684200, 291050300,
         291610478, 292475660, 292795655, 292934653, 293011969, 293777248, 293837684, 294109383, 294109985, 294188698, 294235587, 294235941,
         294236620, 294564992, 295168475, 295280853, 297012666, 297012795, 297117673, 297781177, 297860139, 299163964, 299461811, 299705276,
         301078669, 301078787, 302810299, 304078151, 304441026, 305777785, 310504980, 311376782, 311377235, 312117622, 312117728, 313000762,
         313096465, 313917054, 314246741, 314333362, 314334456, 314490400, 315378551, 316034310, 316789615, 316879814, 316879899, 316927494,
         317107607, 317288434, 317289457, 317477206, 318296229, 318296900, 318640281, 318640390, 318770429, 319461163, 319461832, 319462067,
         319924447, 319924894, 319925248, 319925646, 320823887, 320917578, 321613667, 322087349, 322400933, 322749693, 322751077, 322751235,
         322752139, 323910169, 323985179, 323985381, 324161200, 324205693, 324951041, 325846655, 326358243, 326371305, 326551159, 328105250,
         329061902, 329269220, 329511745, 329618374, 329619048, 329742224, 329923580, 330303027, 330303441, 330303827, 330304056, 330305474,
         331721741, 332083718, 332149127, 332361274, 333074129, 334666706, 337062906, 337099545, 337100679, 337491231, 338106012, 341981143,
         342716410, 342765868, 342961524, 342961855, 342961925, 342962372, 342962976, 343071263, 343072428, 345674780, 345674993, 345675068,
         345707036, 345707373, 346225714, 346288841, 346719814, 347343753, 347431570, 348738808, 348748089, 349189324, 349189452, 349189560,
         349189660, 349189865, 349190145, 349239002],
 'bad (corrected by user)': [7060009, 27640833, 36271161, 47831095, 47831298, 47832319, 49035656, 49035876, 51041574, 64442722, 65784924, 75896729,
                             76862662, 78309640, 78310050, 82243683, 82544343, 83324297, 87551908, 87551977, 87552036, 87552090, 87552118, 87552149,
                             87552207, 89053520, 95165921, 98646749, 101321218, 107051691, 107051889, 107249251, 109930346, 112859009, 114306148,
                             114312924, 116277685, 118707851, 121834706, 124131162, 125892883, 125905704, 128950337, 151228398, 151712066, 168180633,
                             174399382, 197716988, 198610334, 209082391, 209083273, 209527302, 222553733, 238758228, 238778858, 243907983, 256514442,
                             268571925, 272551283, 285306288, 290684200, 294188698, 297117673, 299163964, 299705276, 319925646, 329061902, 342961855,
                             343072428],
 'bad (verified by user)': [87922, 7267547, 7267809, 8062750, 10055187, 10509469, 10530468, 11750964, 11756997, 11914828, 12227040, 12523054,
                            13463133, 13660213, 14272280, 14272850, 14275079, 14948164, 20525968, 20629438, 20629608, 22840818, 23282700, 24328279,
                            27182665, 28506867, 28506952, 28520865, 28520898, 28520985, 28977208, 29481113, 29596265, 30672651, 31214807, 31214949,
                            31214999, 31807153, 36653046, 38069689, 38069851, 38070156, 38455163, 38455235, 38455470, 38455512, 38455576, 38455600,
                            39061269, 39671070, 39672035, 39672352, 39672810, 39944676, 39944791, 44076221, 44076355, 44745798, 44745879, 45718227,
                            46033144, 46033434, 46035574, 47562565, 49517482, 49803780, 49819228, 51053804, 51056413, 51375526, 51375756, 51375868,
                            52348144, 54512902, 54512985, 54949396, 55167603, 55321837, 55338724, 55405680, 55514113, 56934860, 58150017, 59731219,
                            62240704, 62810078, 64794424, 64794762, 67162250, 67247217, 68383652, 68987830, 72350059, 75897438, 76766612, 76958471,
                            77707456, 78918668, 79254503, 79254835, 79254995, 79289996, 79832301, 79931016, 79994212, 83205274, 83205493, 83311704,
                            83673966, 83831474, 85164737, 85164824, 86089951, 86288578, 86707374, 86707827, 86842879, 86843565, 86843885, 86946526,
                            88086348, 89110083, 90325273, 90690356, 90945062, 91285305, 91384434, 91385250, 91868312, 91868465, 92567999, 92568316,
                            92568386, 92568564, 92568754, 92568932, 92569075, 92569113, 92569223, 92569314, 92570772, 92587807, 92834258, 93665263,
                            93665931, 93669958, 93915996, 94201176, 94347221, 94558261, 95210934, 95517928, 95518138, 95636064, 97200560, 98050628,
                            98105980, 98682247, 99591813, 99859627, 99970462, 100785619, 101201526, 101348928, 101853266, 102243380, 102719125,
                            102996745, 103267404, 103282592, 103323528, 104235133, 104387488, 105041823, 105856193, 105871668, 106058871, 106355747,
                            106418089, 106418416, 106649090, 106649342, 106727247, 107218177, 107577529, 107577674, 107638489, 107710638, 107860593,
                            107861163, 107861731, 107862382, 107862497, 107862566, 109109029, 109552394, 109618987, 109832678, 109833068, 109853830,
                            109988309, 110080323, 110181934, 110182595, 112524566, 112892717, 112935506, 113017281, 113189448, 113230502, 113251487,
                            113251777, 113771480, 113786749, 113826454, 114132248, 114425731, 114425896, 114511327, 114664364, 114664428, 114664636,
                            114795724, 114935031, 115033884, 115034786, 115038927, 115214720, 115215365, 115410337, 115410613, 115411086, 115411405,
                            115507549, 115507908, 116032466, 116135723, 116136193, 116136453, 116663798, 116801738, 116883636, 116885517, 116888512,
                            116888606, 116888880, 116985222, 116985322, 117027240, 117027347, 117027419, 117027647, 117027813, 117032999, 118258478,
                            118288143, 118288487, 118288543, 118288769, 118288887, 118289103, 118289243, 118290018, 119753179, 119772112, 119772396,
                            119929391, 119929427, 119929455, 119929490, 119929510, 120771702, 121478415, 121683272, 121684297, 121684773, 121704889,
                            121834369, 121964753, 121965066, 121966147, 121966189, 121966705, 121966895, 121967113, 121996038, 121996181, 122096714,
                            122097055, 122129202, 122284144, 122523903, 122550484, 122551179, 122561457, 122562507, 122562811, 122562840, 122563241,
                            123140511, 123384110, 123612503, 126017031, 127156969, 127445608, 128470331, 128535279, 128948163, 129142136, 129349423,
                            130849633, 131286557, 135842229, 137281266, 137680196, 139944184, 140824265, 140861213, 149554540, 149928487, 154255054,
                            156381986, 156935396, 156935505, 157461221, 157661881, 159808435, 160023355, 160023697, 160024032, 160936592, 161365221,
                            161579564, 164130145, 164813242, 165312613, 165312830, 165460055, 167335701, 167461452, 167750423, 167750591, 167798842,
                            167798931, 168070283, 168134039, 168511843, 170377900, 174445982, 174978839, 175610501, 175917545, 175918285, 175918379,
                            177996482, 178187935, 178345819, 179623111, 181349790, 181897285, 182013501, 183539010, 184268214, 185235285, 185237498,
                            185713970, 185716388, 189357207, 190556552, 190745507, 190784766, 192245861, 192330137, 192401917, 193714994, 195677485,
                            196046408, 199607392, 202359863, 202543065, 203031140, 204546706, 204714488, 205857516, 206953087, 208876701, 210429270,
                            211124923, 212677356, 212922912, 214182244, 214260357, 215093274, 217064884, 222014276, 223585694, 223586077, 223593318,
                            230578190, 231501363, 237003152, 239019452, 240391865, 242724911, 243000440, 243003940, 243447277, 243493556, 250903119,
                            252372393, 253005795, 253676545, 261962044, 263056663, 265887438, 267775903, 270172152, 270293299, 270736068, 271693089,
                            276239094, 276766322, 279451466, 281152979, 281485669, 282356357, 285088581, 295280853, 297860139, 311376782, 316789615,
                            316879899, 318296900, 318640281, 320823887, 322087349, 329618374, 329923580, 334666706, 343071263],
 'constructive (corrected by user)': [27851052, 46035098, 47930699, 49035913, 58977033, 61177065, 63364037, 69500270, 82538001, 83831523, 91390454,
                                      93666151, 93675138, 97131644, 101483585, 106494347, 107577750, 107862631, 107998151, 108563528, 109434348,
                                      109437697, 109457529, 112525682, 112525720, 112525831, 116277776, 116787825, 116883962, 118708911, 121687022,
                                      121834805, 121985934, 121996551, 121996911, 123140673, 125811381, 131133576, 131134032, 132685365, 132685698,
                                      134957051, 137679415, 147925120, 151126371, 151226932, 151757213, 165313092, 167750738, 167750809, 168134235,
                                      168521773, 174213764, 175842089, 178186847, 178247147, 189622804, 192384934, 209527655, 216169243, 216955820,
                                      244389322, 268571975, 270293570, 270611313, 272996785, 276239297, 277266210, 291240467, 293784070, 294110068,
                                      316886120, 320824036, 329062099, 343072705],
 'good': [74064, 87900, 87901, 95087, 102258, 105239, 190653, 278830, 278831, 278832, 278833, 278834, 278835, 278836, 278837, 311213, 316123,
          316133, 318757, 403660, 485817, 508208, 780749, 828182, 846256, 1118969, 1180279, 1441510, 1573479, 1882827, 1957362, 1985727, 2287576,
          2287611, 2287625, 2287634, 2287665, 2287688, 2287707, 2287728, 2287778, 2287785, 2288224, 2288244, 2288368, 2288372, 2298609, 2306865,
          2651654, 2745298, 2820665, 2820677, 2900140, 3076901, 3078487, 3250607, 3250754, 3250764, 3264842, 3360307, 3419401, 3563398, 3563763,
          3567630, 3585848, 3707246, 3708476, 3783822, 3828720, 3828748, 3828978, 3832117, 3832125, 3861886, 4300215, 4577291, 4844949, 4845514,
          4854011, 4854159, 4854179, 4854263, 5041265, 5041286, 5131948, 5158376, 5181662, 5575752, 5575853, 5722079, 5863333, 6200065, 6202527,
          6282893, 6341309, 6408366, 6456716, 6456758, 6463322, 6518044, 6596041, 6596054, 6596133, 6621456, 6712504, 6724313, 6724329, 6748707,
          6802729, 7059890, 7267463, 7267741, 7340580, 7941361, 8057609, 8099468, 8744770, 8746687, 8757370, 8758215, 9244764, 9282518, 9294704,
          9856873, 10052536, 10100894, 10106274, 10106909, 10110462, 10118102, 10486567, 10509294, 10509317, 10530384, 10554442, 10666398, 10739734,
          10841175, 10842248, 11181715, 11202759, 11290873, 11319680, 11461930, 11493447, 11493502, 11750866, 11914366, 11995257, 12227019,
          12522924, 12605137, 12772008, 12773201, 12779329, 12804140, 12804853, 12839452, 12845841, 12853640, 12853997, 13117615, 13117678,
          13117691, 13150041, 13462301, 13523289, 13656142, 13893154, 13981845, 14184686, 14272224, 14926047, 14982155, 15222917, 15252585,
          15413245, 15417777, 15421364, 15661390, 15895896, 15922890, 18055865, 18639011, 18801342, 18814048, 18814060, 18864896, 19066365,
          19444458, 19640863, 19836813, 20225370, 20225961, 20226150, 20226255, 20226811, 20542270, 20631122, 20915675, 21458354, 22176761,
          22378410, 22378499, 22561169, 22665748, 22665843, 22665955, 22844172, 23013457, 23287732, 23426148, 23545372, 23545929, 23546446,
          23546544, 24329454, 24345103, 24487838, 24488002, 24488196, 24488861, 24488968, 25178051, 27182713, 27270148, 27383519, 27386474,
          27386621, 27638740, 27851052, 28527237, 28527269, 28977490, 29482810, 29628497, 29700683, 29764123, 30297938, 30672686, 30894941,
          30896119, 30897421, 30900484, 30900796, 30901017, 30901369, 30901542, 31153923, 31215039, 31721836, 31748782, 31861139, 32483307,
          32756122, 32820602, 32884638, 33140431, 33166416, 33208875, 33267816, 35396071, 36271320, 36457256, 36466021, 36658004, 37068268,
          37073973, 37175157, 37243770, 37801593, 38069739, 38069872, 38070212, 38539072, 38564266, 39064824, 39390902, 39444821, 39444946,
          39547898, 39671101, 39716432, 39756905, 39944686, 39944828, 40070177, 42229928, 43738117, 44077664, 44489853, 44489944, 44702722,
          44745895, 45728184, 46035098, 46052432, 46204176, 47495368, 47562662, 47760470, 47930699, 47943104, 47991664, 48167172, 48265048,
          48968847, 49035868, 49035913, 49496907, 49517488, 49739075, 49819318, 51056428, 51063159, 51091416, 51313229, 51375974, 51725256,
          51884068, 52348207, 53796471, 53990177, 53990270, 53990740, 53990876, 53990991, 53991400, 53991631, 53991845, 53991967, 53992282,
          53992424, 53992466, 53993275, 53993396, 54014759, 54180882, 54513017, 54953662, 55172390, 55321849, 55340633, 55407127, 55435820,
          55514315, 55701617, 55769737, 56950656, 57060980, 57267188, 57441468, 57967329, 58150093, 58347960, 58977033, 58977328, 59731272,
          61177065, 62207331, 62240720, 62812186, 62843253, 62843370, 62862970, 63364037, 63613168, 64344753, 64685934, 64696539, 64699018,
          64794856, 65377564, 65395910, 65561381, 65561582, 65634235, 66090689, 66358032, 67162272, 67248020, 67940375, 68383671, 68990470,
          69500270, 69500399, 69500537, 69502257, 69502381, 70253765, 70271196, 70654465, 70794970, 71600146, 71965376, 72357252, 72887553,
          73361141, 73501286, 73904924, 75189599, 75189849, 75189997, 75481666, 75481872, 75897469, 75897574, 75898731, 75900582, 76667978,
          76773183, 76976107, 77494373, 77494447, 77687296, 77752519, 77818162, 77961062, 77961248, 77961435, 78036436, 78042656, 78309657,
          78310340, 78939334, 79278988, 79291200, 79832306, 79934255, 79994785, 80033331, 80033491, 80966115, 81065636, 81712848, 81713038,
          82208780, 82243859, 82538001, 82540982, 82541589, 82541832, 82543254, 82544074, 82554593, 82928309, 83008711, 83205769, 83311796,
          83328056, 83674683, 83675002, 83831523, 84216004, 85019936, 85167118, 85225372, 85735258, 86052344, 86095941, 86096140, 86110137,
          86288860, 86707869, 86845679, 86993024, 87317883, 87490674, 87552213, 88114285, 89055740, 89110440, 90228563, 90294509, 90325362,
          90690048, 90690452, 90945232, 91287738, 91384445, 91390454, 91662163, 91668144, 91870638, 92568969, 92571213, 92591295, 93571790,
          93666151, 93675138, 93916187, 94201253, 94235281, 94352769, 94589842, 95025347, 95166175, 95517933, 95518238, 95641432, 97131644,
          97200685, 97989857, 98052515, 98106094, 98206161, 98682639, 98763420, 98891587, 99593302, 99864523, 100015544, 100065433, 100786160,
          100990986, 100991332, 100991450, 101201815, 101352707, 101483585, 101854575, 101871739, 101877238, 101881437, 101990232, 102246136,
          102725090, 102913097, 102996924, 103274975, 103285097, 103326174, 103415335, 103534343, 103534636, 103799475, 104235189, 104237772,
          104238074, 104238477, 104388142, 104388351, 104409123, 104411046, 104412175, 104414717, 105023539, 105030640, 105032561, 105042038,
          105875480, 106061509, 106216045, 106369458, 106434281, 106494347, 106501421, 106580973, 106581145, 106649262, 106660014, 106732847,
          106735157, 106735395, 107052150, 107052398, 107130041, 107134647, 107136068, 107140421, 107141259, 107142426, 107142860, 107143099,
          107143825, 107144015, 107144617, 107145004, 107147816, 107148692, 107149946, 107150833, 107169129, 107218485, 107229993, 107230494,
          107232048, 107232768, 107233482, 107235446, 107235861, 107249063, 107250664, 107252233, 107252464, 107252508, 107253328, 107254084,
          107254937, 107273831, 107275052, 107378597, 107397758, 107399219, 107400076, 107404158, 107404491, 107405174, 107405478, 107406673,
          107577750, 107578365, 107640812, 107702172, 107713886, 107785139, 107862631, 107862729, 107998151, 108563528, 108566224, 108566416,
          108574862, 109119930, 109257590, 109434348, 109437697, 109442541, 109457529, 109460467, 109539701, 109559352, 109619347, 109853971,
          109929501, 109972835, 109976263, 109986662, 109986970, 109987387, 109988380, 110019193, 110019593, 110023085, 110023646, 110083406,
          110193206, 110616782, 110676335, 110790283, 112525682, 112525720, 112525831, 112525904, 112525973, 112631094, 112695260, 112730029,
          112730689, 112859240, 112881809, 112892870, 112935618, 113017318, 113189709, 113230545, 113251533, 113251875, 113425780, 113426068,
          113775073, 113790468, 113826642, 114145878, 114310426, 114330292, 114330342, 114409853, 114434381, 114511386, 114664378, 114664504,
          114664649, 114766386, 114795733, 114935233, 115044742, 115046323, 115183832, 115399192, 115410352, 115410694, 115411102, 115412118,
          115513249, 115667796, 115667905, 116032510, 116111883, 116113606, 116113947, 116115053, 116136314, 116136786, 116161900, 116277776,
          116282803, 116284779, 116286562, 116286770, 116374386, 116487520, 116664020, 116787825, 116805584, 116883962, 116888526, 116888987,
          116964342, 116985231, 116985734, 117000349, 117061465, 117164682, 117640361, 117640581, 117640806, 117642437, 118100850, 118101397,
          118269617, 118289487, 118289567, 118290307, 118708911, 119433311, 119435017, 119435291, 119753266, 119772856, 119929539, 120775478,
          120775628, 120775708, 120775801, 120829123, 120830301, 121482585, 121634870, 121683286, 121687022, 121705163, 121705278, 121834392,
          121834805, 121894236, 121966324, 121966354, 121966989, 121967187, 121985934, 121996551, 121996911, 122056683, 122098123, 122152657,
          122293525, 122378384, 122532393, 122550506, 122551231, 122561677, 122562543, 122563119, 122563543, 122563737, 122564288, 122564629,
          123121318, 123140673, 123150259, 123251130, 123384238, 123578672, 123612654, 123679997, 123779790, 123921479, 124158847, 124160446,
          124166526, 124336770, 124337558, 124337989, 124432450, 125810608, 125811381, 125906023, 125980656, 126017143, 126325012, 126328898,
          127124941, 127141286, 127142159, 127159715, 127482401, 127877857, 128251789, 128469206, 128470393, 128470652, 128507484, 128535298,
          128594189, 128733501, 128950743, 129023077, 129023247, 129028935, 129040685, 129042357, 129042463, 129042624, 129143452, 129215953,
          129238215, 129240687, 129242175, 129304045, 129348964, 129349538, 129388220, 129522374, 129523335, 129974150, 130784554, 130849320,
          130849736, 130882217, 130912900, 130927011, 130927185, 131133576, 131134032, 131137296, 131149959, 131286643, 131441138, 131528583,
          131601683, 131603531, 131929916, 131929950, 131991921, 132042092, 132673815, 132685365, 132685698, 132946377, 133461096, 133461284,
          133461425, 133461948, 133462672, 134697650, 134916529, 134940561, 134957051, 135716655, 135717630, 135717785, 135718451, 135718644,
          135843143, 136160502, 136161416, 136263041, 136264160, 136783183, 136783477, 136783693, 136784012, 136784389, 136784527, 136784699,
          136785674, 136787434, 136788157, 136788426, 136796029, 136796119, 136914631, 136954401, 136958307, 137109632, 137146636, 137148375,
          137176163, 137292919, 137538029, 137679415, 137681363, 137862795, 137928104, 138450548, 138541575, 138555160, 139551588, 139693915,
          139783252, 139948044, 140356651, 140625379, 140824468, 140824519, 140865636, 140916470, 140916638, 140942003, 141050551, 141052927,
          141053651, 141301966, 141735373, 143538209, 143667479, 143667918, 143934702, 145268859, 145269594, 145272294, 145284341, 146300892,
          146302340, 146302589, 146363764, 146411783, 146448093, 146448557, 146486432, 146487171, 146488736, 146489337, 146489522, 147033636,
          147036489, 147925120, 147986398, 147986680, 147986860, 147987017, 148046117, 148130152, 148161467, 148471086, 148471586, 148473237,
          148662730, 148665845, 148666236, 148667602, 148679654, 148679772, 148679996, 148680785, 148933177, 149503988, 149568916, 149718198,
          149936062, 149949120, 150066181, 150716989, 151118106, 151126371, 151201006, 151201529, 151226932, 151432459, 151535812, 151667412,
          151669298, 151669837, 151712504, 151757213, 151761220, 151986899, 151987091, 152232572, 152771024, 152772028, 153516425, 153912910,
          153948753, 153977248, 153977780, 154255191, 154423607, 154434295, 154481738, 154483399, 154484708, 154486876, 154487300, 154487975,
          154488164, 154488558, 154489198, 154489714, 154490229, 154490398, 154577136, 154586544, 154665496, 154722025, 155092689, 155093435,
          155102024, 155102280, 155870619, 155959681, 155963440, 155963634, 155965805, 155971794, 155973036, 156123561, 156189527, 156365514,
          156365928, 156367060, 156370888, 156377745, 156383720, 156564085, 156930136, 156935159, 156935421, 156937028, 157210898, 157375835,
          157462794, 157501800, 157509628, 157636722, 157650652, 157709756, 157712278, 157893923, 158003065, 158009055, 158012521, 158012984,
          158013305, 158013577, 158016608, 158017629, 158187150, 158228167, 158287684, 158288523, 158289936, 158292686, 158297761, 158431963,
          158677938, 158707257, 158760652, 158802393, 158998611, 159058219, 159058313, 159058607, 159101559, 159222162, 159283537, 159288664,
          159289152, 159289439, 159290008, 159291742, 159432802, 159633834, 159807175, 159807914, 159813437, 159898793, 160009930, 160023748,
          160023859, 160024111, 160074176, 160074356, 160263790, 160939096, 161366368, 161384440, 161395895, 161579444, 161579609, 161579811,
          161699546, 161743824, 161743963, 161744215, 161745916, 161746026, 161746419, 161805047, 162037548, 162037886, 162038670, 162039349,
          162045567, 162045710, 162177117, 162178318, 163464157, 163468928, 163553369, 163558511, 163718060, 164099165, 164131729, 164136572,
          164269315, 164276572, 164277377, 164363884, 164813537, 164897789, 165306394, 165306993, 165307641, 165313092, 165323875, 165324117,
          165325531, 165325815, 165326803, 165326963, 165346498, 165347316, 165347822, 165429968, 165460263, 165474364, 165632794, 165633001,
          165637411, 165637919, 165638037, 165638279, 165781538, 166037825, 166345207, 166511860, 166513201, 166513728, 166515329, 166515526,
          166536426, 166637533, 166638655, 166645258, 166653380, 166755325, 166755857, 166810024, 166818146, 166819171, 166856773, 166863948,
          167336500, 167343619, 167380445, 167461598, 167750738, 167750809, 167762193, 167762612, 167825833, 167830141, 167939894, 167941778,
          167962525, 167963240, 167963699, 168027665, 168028696, 168068864, 168070264, 168070540, 168134235, 168192322, 168195893, 168197702,
          168478722, 168521773, 168521960, 169248758, 169285705, 170378012, 170834017, 170921438, 171224991, 171280810, 171353170, 171559388,
          171924268, 172352673, 172774830, 172775041, 172788602, 173101624, 173114126, 173114371, 173115276, 173116419, 173116575, 173895375,
          173922778, 173923160, 173951406, 173992680, 174213764, 174216054, 174218317, 174261015, 174399797, 174446641, 174550943, 174551479,
          174552129, 174648050, 174962384, 174962846, 174967869, 174968081, 174968362, 174968498, 174974584, 174975312, 174976230, 174978295,
          174979117, 175257666, 175281541, 175417660, 175418009, 175418416, 175523278, 175544805, 175842089, 175849589, 175917646, 175918458,
          176491607, 176491761, 176492499, 176493404, 176590339, 176936784, 176937190, 176939346, 176940042, 176940478, 176940626, 176940700,
          176940922, 176942445, 176943595, 176944661, 176945468, 177022084, 177029715, 177075532, 177232896, 177327920, 177350638, 177724270,
          177801552, 177820068, 177840762, 177998252, 178186847, 178188318, 178204085, 178228487, 178228576, 178228687, 178228782, 178229257,
          178247147, 178247195, 178247248, 178252690, 178370864, 178504192, 178561628, 178563061, 178567587, 178568707, 178626554, 178635503,
          178647569, 178647886, 178648174, 178675874, 179382743, 179629204, 179725649, 179894015, 179894366, 179894770, 180595315, 180596568,
          180753981, 180830628, 180832115, 180833571, 180900456, 180902897, 181279557, 181349951, 181772841, 181897026, 181900088, 181994084,
          181996410, 182013545, 182284173, 182291298, 182506729, 182740588, 182744627, 182744882, 182745023, 182860257, 183075839, 183230719,
          183333755, 183539411, 184268635, 184486505, 184776479, 184778512, 184781475, 184910809, 184931880, 185114729, 185115013, 185237654,
          185350899, 185352683, 185354207, 185523053, 185523782, 185527091, 185529561, 185529779, 185530317, 185714084, 185721389, 185724779,
          185741784, 185742275, 186276107, 186277007, 186716192, 186716541, 186835397, 186836225, 187383971, 187497212, 187505490, 187512902,
          187515442, 187542873, 187542983, 187548851, 187733994, 187735093, 187739533, 188146699, 188416631, 188417428, 188719830, 188720484,
          188721736, 188725106, 188725787, 189357437, 189489598, 189556467, 189557331, 189559023, 189559181, 189622804, 189627518, 189780200,
          189798948, 189832376, 189842291, 189955370, 190026332, 190106001, 190109788, 190110851, 190111365, 190113721, 190114248, 190116027,
          190116528, 190116907, 190314373, 190483045, 190556567, 190646797, 190747554, 190788559, 190817791, 190908149, 191100106, 191425714,
          191793831, 191794246, 191794429, 191987224, 192164799, 192165978, 192167270, 192187190, 192249851, 192313111, 192324740, 192384934,
          192385251, 192402076, 192453727, 193014824, 193196614, 193197148, 193356838, 193358541, 193358844, 193359546, 193509307, 193509393,
          193705114, 193726460, 193766024, 194201955, 194405387, 194405506, 194516088, 194705620, 194706076, 194826323, 194828990, 194829063,
          194829776, 195042194, 195467036, 195693396, 195809522, 195883639, 196046455, 196245280, 196827123, 197038206, 197108457, 197291642,
          197295539, 197295701, 197572134, 197720560, 197795222, 198268679, 198498978, 198582746, 198610533, 198677699, 198819185, 198865211,
          198998930, 199239976, 199246660, 199363607, 199492968, 199610201, 200096096, 200097080, 200215962, 200613622, 200674349, 200674728,
          200679429, 200689016, 200690271, 200693278, 200704389, 200704743, 200704927, 200705776, 200706172, 200707200, 200707697, 200708679,
          201130581, 201476122, 201608123, 201649987, 201744053, 202315839, 202316348, 202317389, 202317833, 202360053, 202360349, 202548367,
          202571803, 202697661, 203031049, 203065540, 204546931, 204574075, 204575162, 204689194, 204714238, 204715211, 205366272, 205813498,
          205835079, 205836631, 205840694, 205841196, 205857741, 205863113, 205863565, 205921169, 206067785, 206069498, 206069892, 206069995,
          206072540, 206073840, 206074251, 206075211, 206075940, 206076075, 206077067, 206077439, 206078684, 206078848, 206079109, 206080003,
          206080203, 206085021, 206144499, 206953280, 207159528, 207336185, 207469420, 207669631, 208151096, 208578086, 208876904, 209083825,
          209083921, 209135135, 209140101, 209149775, 209266502, 209317004, 209317456, 209527655, 209653528, 209930660, 209930802, 210358751,
          210421283, 210421613, 210421826, 210422420, 210430446, 210586459, 210610514, 210835626, 211125218, 211319618, 211645767, 211645930,
          211645969, 211717722, 211740190, 211910424, 211943580, 211987748, 212386629, 212677637, 212844016, 212923049, 213013154, 213221639,
          213221912, 213517215, 213800819, 214182509, 214213294, 214260824, 214303824, 214304030, 214360504, 214360599, 214412861, 214413111,
          214413834, 214413898, 214554354, 215096506, 215618833, 215680861, 215683137, 215714957, 215715183, 215715645, 215715880, 215716223,
          215718188, 215718914, 215719698, 215719908, 215720392, 216169243, 216169312, 216169585, 216169799, 216169883, 216461321, 216955820,
          216959876, 217065135, 217065293, 217065408, 217065477, 217065590, 217065732, 217065820, 217066631, 218010148, 218172444, 218860545,
          219584528, 219862068, 219862304, 220252723, 220472901, 221303919, 221606346, 221635227, 222014114, 222014361, 222014541, 222936625,
          223294152, 223568010, 223586439, 223597691, 224066565, 224678842, 224845022, 224845213, 225067648, 225068367, 225068942, 225071460,
          225071850, 225072390, 225119768, 225121907, 225157903, 225157997, 225158027, 225158052, 225158140, 225158300, 225158372, 225158466,
          225600782, 225896952, 225898936, 226059774, 226103099, 226182979, 226410591, 226410832, 227132080, 227179218, 227257794, 227260737,
          227261457, 227368089, 227488971, 228009541, 228010199, 229156434, 229197073, 230200460, 230552456, 230577888, 230578806, 230578865,
          230613729, 230707187, 231501434, 232353033, 232933893, 233154458, 233154839, 233167218, 233178867, 233691256, 234322810, 234914580,
          234922103, 234922813, 235073913, 236059983, 236159778, 236181054, 236351324, 236920958, 236939039, 237003138, 237003444, 237336380,
          237536927, 237561538, 237640686, 237763255, 237763397, 237763584, 237763699, 237763844, 237764258, 237881548, 237938447, 237986831,
          237997591, 237998641, 238179612, 238669752, 238758523, 239025651, 239091086, 239606254, 239714715, 240391952, 240659017, 240785654,
          240786218, 240860277, 240860344, 240957174, 241072998, 241446199, 241623910, 241730598, 242036174, 242446014, 242500223, 242512568,
          242518167, 242623549, 242748680, 242774692, 242849324, 243002189, 243007428, 243030718, 243059001, 243060429, 243076733, 243077275,
          243137840, 243450879, 243493955, 243908089, 244221968, 244381082, 244381750, 244388857, 244389322, 244389542, 244403355, 244408078,
          244408215, 245086386, 245087170, 245087353, 246193165, 246437427, 246437566, 246552507, 246874512, 246874799, 246909141, 246919345,
          246998822, 247076242, 247693410, 247815953, 247977114, 247978682, 248052659, 248116904, 248504596, 248528802, 248726212, 249097732,
          249099031, 249557234, 249742055, 249855502, 249861128, 250138241, 250138345, 250138708, 250140013, 250140195, 250140261, 250140741,
          250141225, 250141369, 250141631, 250142572, 250679515, 250919825, 250923300, 250923788, 250923908, 250924209, 250925475, 250928833,
          250929206, 250929593, 250930107, 251034779, 251035048, 251036944, 251037439, 251038582, 251039151, 251039290, 251039435, 251040171,
          251040597, 251041473, 251042241, 251042336, 251042475, 251044463, 251044539, 251044905, 251045424, 251045783, 251045947, 251048267,
          251048822, 251049100, 251049231, 251152927, 251394822, 251397481, 251408478, 251408574, 251448858, 251454490, 251456071, 251808112,
          251809320, 251809490, 251814226, 251817351, 251817917, 251823010, 251824609, 251827733, 251828034, 251839912, 252227197, 252227289,
          252228997, 252229484, 252270974, 252384114, 252407915, 252409105, 252409981, 252902364, 253011593, 253039331, 253048155, 253108921,
          253115217, 253216752, 253218226, 253676689, 253820740, 253823668, 253934571, 254020637, 254423767, 254433492, 254433612, 255118939,
          255310886, 256068554, 256070628, 256070998, 256072597, 256073557, 256074191, 256076675, 256079932, 256082468, 256086488, 256086584,
          256096913, 256277824, 256278262, 256278918, 256280657, 256281354, 256462181, 256463303, 256514638, 256645255, 256645323, 256754444,
          256754590, 256755431, 256794631, 256833132, 256855048, 256905179, 256908944, 256909004, 256909088, 258927390, 258927687, 259140626,
          259399455, 259632044, 259632263, 259632946, 259812376, 259837951, 259865193, 259976570, 259994205, 259994399, 259995237, 259997285,
          259997403, 259998290, 260125235, 260127854, 260136401, 260204237, 260230099, 260230590, 260236055, 260484400, 260765000, 260904550,
          260981492, 260981856, 260982024, 260982264, 260982744, 260983446, 260983687, 260984557, 260984647, 260985329, 260985455, 260985593,
          260986008, 260986432, 260986832, 260987559, 261421226, 261421255, 261489526, 261492533, 261492961, 261494980, 261539677, 261606100,
          261921467, 261962318, 262011446, 262182876, 262183096, 262219540, 263011605, 263014272, 263015892, 263061858, 263178565, 263731383,
          263731465, 264390363, 265081463, 265496185, 265496540, 265887702, 266502929, 266503093, 266503624, 266503822, 267120728, 267120879,
          267161919, 267299690, 267424035, 267425745, 267490716, 267500236, 267775917, 267842952, 267861585, 268259967, 268411641, 268571975,
          269245963, 269387016, 269387740, 269597178, 269615283, 269828381, 269893435, 270162259, 270171864, 270171917, 270172162, 270208701,
          270293570, 270611313, 270734113, 270736183, 270782479, 271117814, 271383703, 271498545, 271591147, 271595729, 271687508, 271687772,
          271691032, 271691487, 271693203, 271721808, 271722108, 271722381, 271722863, 271723387, 271725916, 272241366, 272551447, 272747405,
          272962677, 272996785, 273410158, 273784301, 273870701, 274155626, 274444618, 274722205, 274812162, 274817471, 274828966, 275260748,
          275727954, 275909535, 275910709, 275931073, 276074645, 276239297, 276268896, 276287749, 276392327, 276550437, 276792475, 276818483,
          276909051, 277266210, 277298589, 277313178, 277653266, 277756436, 277926319, 278186407, 278216249, 278240702, 278538497, 278753384,
          279151059, 279152825, 279452499, 279582677, 280880991, 280881533, 280889970, 280972309, 281152771, 281153015, 281486298, 281798116,
          282167017, 282168335, 282168971, 282356391, 282356576, 282356720, 282847864, 283613884, 283623453, 284041588, 284528060, 285098940,
          285260277, 285262915, 285264926, 285300274, 285459168, 285482053, 285482302, 285484661, 285486823, 285488187, 285488516, 285488805,
          285489047, 285490611, 285516379, 285630939, 286192649, 286785997, 286983493, 289755367, 289951048, 290120766, 290238162, 290701748,
          291240467, 291434569, 291459361, 291610513, 292476290, 292531292, 292796067, 292941005, 293012182, 293173712, 293175959, 293178366,
          293283520, 293284057, 293284615, 293784070, 293808792, 293844669, 294055215, 294108481, 294109392, 294110068, 294190293, 294235738,
          294236039, 294236738, 294582100, 295168547, 295280876, 295318184, 297013491, 297781436, 297860208, 298000312, 298656335, 298983509,
          298986913, 298987893, 298988140, 298988531, 298989737, 298990094, 298990345, 298990571, 298991025, 298991965, 298992760, 298993449,
          298994182, 298994675, 298995166, 298995980, 298996111, 298996624, 298997214, 298997996, 298998667, 299001848, 299002566, 299003753,
          299003962, 299004571, 299004812, 299007204, 299008037, 299014428, 299016187, 299017813, 299018079, 299019069, 299019755, 299020197,
          299022184, 299027642, 299027781, 299032882, 299033006, 299033347, 299036441, 299036476, 299036674, 299038458, 299039037, 299039475,
          299039887, 299040111, 299040206, 299041077, 299041737, 299042548, 299043896, 299043960, 299044925, 299082829, 299163132, 299164417,
          299164591, 299164689, 299164882, 299175160, 299176736, 299178468, 299178703, 299179512, 299179922, 299180051, 299181283, 299181511,
          299238502, 299239683, 299240330, 299241178, 299243532, 299244145, 299244952, 299247234, 299247777, 299248014, 299248524, 299249065,
          299249609, 299250532, 299250824, 299251650, 299252506, 299252897, 299253425, 299255917, 299259650, 299345995, 299346942, 299347230,
          299347565, 299347957, 299353088, 299370225, 299370825, 299371011, 299371455, 299371894, 299372715, 299372805, 299373659, 299374154,
          299375453, 299375500, 299376198, 299376479, 299376983, 299383361, 299405792, 299408125, 299410169, 299412617, 299413014, 299417233,
          299463709, 299507860, 299539022, 300072854, 300230474, 300230552, 300237553, 300497866, 301097247, 301219530, 301436474, 301436924,
          301445371, 301448102, 301448305, 301450359, 301450743, 301451463, 301452651, 301453277, 301453634, 301454566, 301454845, 301455267,
          301455399, 301455828, 301456431, 301457143, 301459422, 301459870, 301460250, 301460645, 301460717, 301461058, 301461456, 301463104,
          301463193, 301463357, 301463453, 301463948, 301464552, 301464761, 301464835, 301464939, 301465218, 301465560, 301466921, 301467333,
          301468381, 301469265, 301469529, 301469652, 301470278, 301470950, 301471497, 301471814, 301472382, 301473104, 301474079, 301474606,
          301477837, 301477936, 301478368, 301479693, 301480731, 301481377, 302569594, 302573423, 302616185, 302634696, 302634946, 302671228,
          302671855, 302674615, 302675552, 302676010, 302676739, 302677197, 302679559, 302681096, 302681436, 302682773, 302683407, 302686381,
          302686857, 302688078, 302788317, 302788627, 302811090, 302849237, 303039298, 303043897, 303044424, 303182630, 303182738, 303183005,
          303247489, 303248830, 303252143, 303254113, 303254193, 303254341, 303258069, 303259000, 303259221, 303259947, 303260529, 303824442,
          304078174, 304409944, 304450019, 305778310, 306105957, 306107263, 306107364, 306109968, 306110964, 306111165, 308751495, 308765897,
          308966800, 308967188, 309345023, 309345337, 309347059, 309347208, 309347957, 310197172, 310530080, 311380814, 312033616, 312117870,
          313006264, 313096758, 313505460, 313922995, 314246794, 314333677, 314334570, 314424425, 314490419, 314504511, 314931002, 314931616,
          314932032, 314932552, 315082475, 315082534, 315082723, 315380962, 315731632, 316034789, 316627070, 316627126, 316789926, 316886120,
          316891862, 316927784, 317107681, 317292386, 317477356, 318266199, 318283191, 318283432, 318296604, 318297014, 318305980, 318640631,
          318770560, 319462821, 319926168, 320377836, 320604051, 320622923, 320824036, 321034497, 321613804, 322006922, 322087378, 322410099,
          322410945, 322752281, 323407491, 323531231, 323776583, 323910632, 323988527, 323998563, 323999361, 324074563, 324089685, 324165045,
          324206126, 324951148, 325132996, 325262808, 325823910, 325846703, 325997597, 326363517, 326380351, 326530663, 326587118, 327980536,
          328108343, 328463458, 328616883, 328618409, 329062099, 329269360, 329327674, 329511967, 329619758, 329742312, 329923847, 330190322,
          330190639, 330190757, 330191166, 330305906, 330308621, 331722832, 332086905, 332149292, 332362876, 332590883, 332670505, 332771880,
          333111272, 334268130, 334666766, 334716219, 337064174, 337099887, 337100722, 337363031, 337363150, 337491326, 338106340, 341398662,
          341398763, 341398939, 341981268, 342099052, 342608588, 342608878, 342609106, 342716586, 342766033, 342962059, 342962417, 342963173,
          343072705, 343074897, 343074972, 343075068, 343173897, 343176868, 343177876, 343179403, 343182424, 343358142, 343360729, 344241920,
          344242373, 344439801, 344616443, 344951361, 345209834, 345515101, 345601491, 345677336, 345717475, 346242855, 346294999, 346620568,
          346742413, 347344721, 347431636, 347950224, 348738839, 348748292, 349189610, 349189753, 349189917, 349190304, 349243434, 350285598,
          350288772, 350294646, 350296767, 350297227, 350297393, 350297662, 350298324, 350416426, 350417615],
 'good (corrected by user)': [87901, 10100894, 10509294, 12522924, 13893154, 55701617, 67248020, 75481666, 82543254, 86288860, 90690048, 104235189,
                              110083406, 114310426, 185237654, 192385251, 193196614, 193197148, 203031049, 209930802, 214360504, 280881533,
                              316627126, 337363031, 337363150],
 'good (verified by user)': [95087, 2288224, 2298609, 3861886, 5131948, 7267463, 7267741, 7340580, 7941361, 8057609, 8099468, 8757370, 9282518,
                             9294704, 10052536, 10106274, 10106909, 10110462, 10118102, 10486567, 10509317, 10530384, 10554442, 10841175, 11202759,
                             11493447, 11493502, 11750866, 11914366, 11995257, 12227019, 12605137, 12772008, 13462301, 13523289, 13656142, 13981845,
                             14184686, 14272224, 14926047, 14982155, 15252585, 15922890, 18639011, 18801342, 18814048, 18814060, 19444458, 19640863,
                             19836813, 20226811, 20542270, 20631122, 20915675, 22561169, 22665843, 22665955, 22844172, 23013457, 23287732, 23545372,
                             23546544, 24329454, 24487838, 24488861, 25178051, 27182713, 27383519, 28527237, 28527269, 28977490, 29482810, 29628497,
                             29764123, 30297938, 30672686, 30896119, 30900484, 31153923, 31215039, 31748782, 31861139, 32820602, 33140431, 33166416,
                             33208875, 33267816, 36271320, 36466021, 36658004, 37801593, 38069739, 38069872, 38070212, 38539072, 38564266, 39064824,
                             39390902, 39547898, 39671101, 39716432, 39756905, 39944686, 39944828, 42229928, 43738117, 44077664, 44489853, 44702722,
                             44745895, 45728184, 46052432, 47495368, 47562662, 47943104, 47991664, 48968847, 49035868, 49496907, 49517488, 49739075,
                             49819318, 51056428, 51063159, 51091416, 51313229, 51375974, 51725256, 51884068, 52348207, 53991967, 54180882, 54513017,
                             54953662, 55172390, 55321849, 55340633, 55407127, 55435820, 55514315, 55769737, 56950656, 57060980, 57267188, 57441468,
                             57967329, 58150093, 58347960, 58977328, 59731272, 62207331, 62240720, 62812186, 64344753, 64699018, 64794856, 65561381,
                             66090689, 66358032, 67162272, 67940375, 68383671, 68990470, 69500399, 69502257, 69502381, 70253765, 70271196, 70654465,
                             71965376, 72357252, 73904924, 75481872, 75897469, 75897574, 76667978, 76773183, 76976107, 77494373, 77687296, 77752519,
                             77961062, 78036436, 78042656, 78309657, 78310340, 78939334, 79278988, 79291200, 79832306, 79934255, 79994785, 81065636,
                             81712848, 82208780, 82243859, 82540982, 82544074, 82554593, 83008711, 83205769, 83311796, 83328056, 83674683, 83675002,
                             84216004, 85019936, 85167118, 85225372, 86052344, 86095941, 86096140, 86110137, 86707869, 86845679, 86993024, 87317883,
                             87490674, 87552213, 88114285, 89055740, 89110440, 90294509, 90325362, 90690452, 90945232, 91287738, 91384445, 91662163,
                             91668144, 91870638, 92568969, 92571213, 92591295, 93571790, 93916187, 94201253, 94235281, 94352769, 94589842, 95025347,
                             95166175, 95517933, 95518238, 95641432, 97200685, 97989857, 98052515, 98106094, 98682639, 98891587, 99593302, 99864523,
                             100015544, 100065433, 100786160, 100991450, 101201815, 101352707, 101854575, 101881437, 101990232, 102246136, 102725090,
                             102913097, 102996924, 103274975, 103285097, 103326174, 103415335, 103799475, 104237772, 104238477, 104388142, 104388351,
                             104409123, 105023539, 105032561, 105042038, 105875480, 106061509, 106216045, 106369458, 106434281, 106501421, 106580973,
                             106581145, 106649262, 106660014, 106732847, 107142426, 107143825, 107169129, 107218485, 107232048, 107404158, 107406673,
                             107578365, 107640812, 107702172, 107713886, 107785139, 107862729, 108574862, 109119930, 109257590, 109442541, 109539701,
                             109559352, 109619347, 109853971, 109929501, 109987387, 109988380, 110023646, 110193206, 110676335, 110790283, 112525904,
                             112525973, 112695260, 112881809, 112892870, 112935618, 113017318, 113189709, 113230545, 113251533, 113251875, 113425780,
                             113426068, 113775073, 113790468, 113826642, 114145878, 114409853, 114434381, 114511386, 114664378, 114664504, 114664649,
                             114766386, 114795733, 114935233, 115044742, 115183832, 115399192, 115410352, 115410694, 115411102, 115412118, 115513249,
                             115667796, 115667905, 116032510, 116111883, 116113606, 116113947, 116115053, 116136314, 116136786, 116487520, 116664020,
                             116805584, 116888526, 116888987, 116964342, 116985231, 116985734, 117000349, 117061465, 117164682, 118100850, 118101397,
                             118269617, 118289487, 118289567, 118290307, 119433311, 119435291, 119753266, 119772856, 119929539, 120775478, 120775628,
                             120775708, 120829123, 120830301, 121482585, 121634870, 121683286, 121705163, 121705278, 121834392, 121894236, 121966324,
                             121966354, 121966989, 121967187, 122056683, 122098123, 122152657, 122293525, 122378384, 122532393, 122550506, 122551231,
                             122561677, 122562543, 122563119, 123121318, 123150259, 123384238, 124166526, 126328898, 127124941, 127482401, 128733501,
                             129042463, 129215953, 130784554, 134916529, 135718644, 136160502, 136263041, 136264160, 136783183, 136783477, 136784012,
                             137109632, 137146636, 137862795, 138555160, 139693915, 140824468, 140916470, 141052927, 141053651, 146300892, 146363764,
                             146488736, 147036489, 147987017, 151535812, 151669298, 151712504, 153516425, 153912910, 154577136, 157650652, 157709756,
                             158003065, 158016608, 158228167, 159289152, 160263790, 161384440, 162177117, 163558511, 165632794, 165637411, 166513201,
                             167461598, 168195893, 174261015, 174399797, 174962384, 175257666, 175544805, 176939346, 176940478, 177724270, 178204085,
                             178228487, 178228576, 178228687, 178229257, 178247195, 178247248, 178252690, 178504192, 178561628, 178626554, 178647569,
                             180596568, 181279557, 182284173, 182506729, 183333755, 184778512, 184781475, 185529561, 185529779, 186716192, 186716541,
                             190113721, 191100106, 191794429, 192164799, 194201955, 194828990, 198610533, 200693278, 200704927, 202315839, 206067785,
                             206069892, 206072540, 206077067, 206078848, 209653528, 209930660, 210835626, 211645767, 211740190, 212923049, 213221639,
                             214213294, 214260824, 214360599, 215618833, 217065135, 221635227, 225157903, 226182979, 227260737, 230200460, 233691256,
                             236059983, 236920958, 240391952, 240860277, 240860344, 242446014, 245087170, 250923300, 250925475, 250928833, 251042336,
                             251044463, 251044905, 251152927, 251394822, 251454490, 253108921, 254433492, 256079932, 256514638, 259632044, 259976570,
                             260125235, 260127854, 260981492, 260981856, 260982744, 260983446, 260986832, 260987559, 261489526, 261921467, 267424035,
                             267861585, 269245963, 269828381, 270208701, 270736183, 270782479, 271693203, 272241366, 272551447, 276074645, 280880991,
                             280972309, 285098940, 285260277, 285459168, 294055215, 294108481, 299178468, 300072854, 301219530, 303254113, 304409944,
                             308751495, 308765897, 313505460, 315082475, 316627070, 316789926, 318266199, 318296604, 320377836, 320604051, 322006922,
                             324074563, 326530663, 332670505, 345209834, 346742413, 350288772, 350294646]}
